Interruptible Task Execution with Resumption in Golog
نویسندگان
چکیده
Mobile robots should perform a growing number of tasks and react to time-critical events. Thus, the ability to interrupt a task and resume it later is crucial. While interleaved execution occurs often in robotics, existing approaches do not consider the fact that interrupting a task and resuming an interrupted task often requires intermediate steps. In this paper we present an approach to interruptible task execution with resumption. We propose INTRGOLOG which extends INDIGOLOG by task interruption and resumption through introducing new constructs to determine and fulfill the requirements of tasks. Our experiments on a service robot and in simulation show that the ability to switch to another task enables a robot to react in a swift and reliable fashion to new events.
منابع مشابه
The Attentional Costs of Interrupting Task Performance at Various Stages
The visual occlusion technique has received considerable attention in recent years as a method for measuring the interruptible aspects of in-vehicle information system (IVIS) task performance. Because the visual occlusion technique lacks a loading task during “occluded” periods, an alternate method was adopted to provide increased sensitivity to the attentional costs of interruptions on IVIS-st...
متن کاملOn-Line Execution of cc-Golog Plans
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable only for projecting the outcome of a plan and it is unclear how to actually execute plans on-line on a robot. In this paper, we provide such an execution model for ccGolog and, in addition, show how to interleave exec...
متن کاملTowards more Realistic Logic-based Robot Controllers in the GOLOG Framework
High-level robot control languages should not only be expressive but should also support reasoning about actions, in particular, the projection of robot plans. Projection is useful for the robot when choosing among different courses of action as well as for the designer of robot controllers, since projections allow for qualitative simulations. The high-level programming language GOLOG was speci...
متن کاملRelaxing Regression for a Heuristic GOLOG
GOLOG is an agent programming language designed to represent complex actions and procedures in the situation calculus. In this paper we apply relaxation-based heuristics – often used in classical planning – to find (near) optimal executions of a GOLOG program. We present and utilise a theory of relaxed regression for the approximate interpretation of a GOLOG program. This relaxed interpreter is...
متن کاملTowards an Integration of Golog and Planning
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constrain the search for an executable plan in a flexible manner. However, when general planning is needed, Golog supports this only in principle, but does not measure up with state-of-the-art planners. In this paper we prop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016